Predicate logic - PDFSEARCH.IO - Document Search Engine

Predicate logic
Results: 1102

#	Item
241	ACSL Version 1.5 Implementation in Carbon+dev ACSL: ANSI/ISO C Specification Language Version 1.5 – Carbon+dev Add to Reading List Source URL: frama-c.com Language: English - Date: 2013-09-24 04:53:01 Data types C programming language C++ Pointer C ANSI/ISO C Specification Language Pascal Logic programming Predicate Software engineering Computing Computer programming
242	WP 0.4 (Draft Manual) WP Plug-in (Draft) Manual Version 0.4 for NitrogenLoïc Correnson, Zaynah Dargaye, Anne Pacalet Add to Reading List Source URL: frama-c.com Language: English - Date: 2013-09-24 04:53:56 Predicate transformer semantics Software Logic in computer science Hoare logic Frama-C Precondition Lambert W function Program logic Theoretical computer science Formal methods
243	Microsoft Word - ijita12-1.doc Add to Reading List Source URL: www.foibg.com Language: English - Date: 2015-02-02 08:42:07 Predicate logic Semantics Formal languages Functions and mappings Model theory Predicate Function FO Mereology Logic Mathematical logic Mathematics
244	YOUR NAME: REGISTRATION # (H) Bertrand and Russellpoints] Teachers can be hard to understand sometimes. Case in point, the math teacher, Mr. Whitehead. Just this Add to Reading List Source URL: www.naclo.cs.cmu.edu Language: English - Date: 2014-03-31 21:30:02 Quantification Predicate logic Model theory Function First-order logic Universal quantification Proposition Existential quantification Logicism Logic Mathematical logic Mathematics
245	Abstractions from Proofs∗ Thomas A. Henzinger Ranjit Jhala Rupak Majumdar Add to Reading List Source URL: www.kenmcmil.com Language: English - Date: 2006-06-02 17:23:14 Propositional calculus Model theory Predicate logic Formal languages First-order logic Function Interpretation Entailment Partition Logic Mathematics Mathematical logic
246	Recursive Functions of Symbolic Expressions and Their Computation by Machine, Part I John McCarthy, Massachusetts Institute of Technology, Cambridge, Mass. April Add to Reading List Source URL: www-formal.stanford.edu Language: English - Date: 2006-08-13 19:55:54 Computability theory Predicate logic Lisp programming language Formal languages Function Free variables and bound variables Combinatory logic Expression Lisp Logic Mathematics Mathematical logic
247	Adapting Query Optimization Techniques for Efficient Intrusion Alert Correlation∗ Peng Ning and Dingbang Xu Department of Computer Science, North Carolina State University Raleigh, NC Add to Reading List Source URL: discovery.csc.ncsu.edu Language: English - Date: 2011-11-09 13:26:06 Mathematical logic Hash table Hash function Alert correlation Predicate Trie Logic programming Database index Extensible Storage Engine Search algorithms Logic Computing
248	NSPredicate Cheatsheet Presented by Realm: a mobile database that replaces Core Data and SQLite. Learn more at http://realm.io Basic Comparisons =,== Add to Reading List Source URL: realm.io Language: English Query languages Predicate logic Formal languages Predicate Semantics SQL Regular expression Relational operator K Computing Software engineering Computer programming
249	Anatomy of Alternating Quantifier Satisfiability (Work in progress) Anh-Dung Phan Technical University of Denmark Nikolaj Bjørner Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2012-06-03 10:03:44 Model theory Logic in computer science Predicate logic Computability theory Metalogic Quantifier elimination Satisfiability Modulo Theories Presburger arithmetic True quantified Boolean formula Theoretical computer science Logic Mathematical logic
250	Term structure in FG: a modest proposal Evelien Keizer, University of Amsterdam 1. Introduction1 Add to Reading List Source URL: home.hum.uva.nl Language: English - Date: 2004-03-09 07:11:45 Parts of speech Grammar Predicate Semantics Predicate logic Complement Theta role Copula Relational grammar Linguistics Logic Syntax

UPDATE